Freer Monad
前提知識
Free monad
忙しい人向け
(a)
Functor
型クラスのインスタンスであるような型
f :: Type -> Type
があるとき,
Free f
は
Monad
型クラスのインスタンスになる
(b)
f :: Type -> Type
があるとき,
Coyoneda f
は
Functor
型クラスのインスタンスになる
(a) と (b) により,
f :: Type -> Type
が与えられれば,
Monad
型クラスのインスタンスとなる型が得られる
関連項目
Coyoneda